Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
621	A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T., Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:52 Artificial intelligence Game artificial intelligence Search algorithms Constraint satisfaction problem Heuristic function Alpha-beta pruning Local consistency Minimax Heuristic Constraint programming Mathematics Theoretical computer science
622	Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching Rajesh Raman, Miron Livny and Marvin Solomon {raman, miron, solomon}@cs.wisc.edu University of Wisconsin 1210 West Dayton Street Madison, WI 53706 Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-24 18:42:11 Analysis of algorithms Constraint programming Dating Marriage Matchmaking Algorithm Distributed computing Time complexity Constraint satisfaction problem Theoretical computer science Applied mathematics Computer science
623	Automated Discovery of Composite SAT Variable-Selection Heuristics Alex Fukunaga Computer Science Department University of California, Los Angeles [removed] Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:23:57 Constraint programming Mathematics Operations research Heuristics WalkSAT NP-complete problems Boolean satisfiability problem Local search Search algorithm Theoretical computer science Applied mathematics Logic in computer science
624	Novel Approaches to Numerical Software with Result Verification Laurent Granvilliers , Vladik Kreinovich , and Norbert Müller Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2003-10-13 19:19:43 Interval arithmetic Constraint satisfaction Constraint logic programming Local consistency Interval Integral Numerical analysis Mathematical optimization Probability box Constraint programming Mathematics Applied mathematics
625	C:/Documents and Settings/wkmak/Desktop/DropBox/Dropbox/Thesis/main.dvi Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:31:17 Computer programming Local consistency Constraint satisfaction problem Constraint satisfaction Backtracking Constraint optimization Eight queens puzzle Branch and bound Heuristic function Constraint programming Mathematics Software engineering
626	Service Composition Language to Unify Simulation and Optimization of Supply Chains Add to Reading List Source URL: www.hicss.hawaii.edu Language: English - Date: 2007-11-29 01:11:58 Computer programming Constraint programming Object-oriented programming Mathematical optimization Simulation Modelica Linear programming Modeling language Program optimization Operations research Software engineering Computing
627	Constraints manuscript No. (will be inserted by the editor) Ultra-Weak Solutions and Consistency Enforcement in Minimax Weighted Constraint Satisfaction Arnaud Lallouet · Jimmy H.M. Lee · Terrence Add to Reading List Source URL: www.tmak.info Language: English - Date: 2014-11-21 23:28:54 Applied mathematics Constraint satisfaction problem Local consistency Constraint optimization Minimax Constraint satisfaction Linear programming Alpha-beta pruning Search algorithm Constraint programming Mathematics Theoretical computer science
628	Yet Another Local Search Method for Constraint Solving Philippe Codognet1 and Daniel Diaz2 1 2 Add to Reading List Source URL: wasa.sourceforge.net Language: English - Date: 2002-04-19 05:38:42 Theoretical computer science Constraint satisfaction Local search Local consistency Mathematical optimization Search algorithm Linear programming Genetic algorithm Travelling salesman problem Constraint programming Software engineering Computer programming
629	Actes JFPC[removed]Improving Constraint Modelling Using Visualization Helmut Simonis Cork Constraint Computation Centre Add to Reading List Source URL: jfpc2010.greyc.fr Language: English - Date: 2011-05-09 04:10:16 Computer programming Constraint logic programming ECLiPSe Constraint Constraint satisfaction Constraint programming Declarative programming Software engineering
630	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming

UPDATE